void kernelMain(multiboot_info* multiboot_information, u32int magic_number, void* stack_pointer);
void init_kernel();
void display_boot_screen();
